Software Documents: Concepts and Tools
نویسندگان
چکیده
In this paper, we review software development as a document-based process, with the capture of a full but ideal development history as the assumed purpose of the documents concerned. We identify generic requirements for perusal, editing and veriication of such documents, and illustrate how these requirements could be met in a software development environment based on current interaction technology. Finally, we propose a generic environment architecture for implementation of the facilities concerned, and outline how our own research work has addressed some of the requirements of this architecture.
منابع مشابه
Integration of Semantic Tools into Document Editors
Integration of the tools used to prepare and verify software documents is vital to the eeectiveness of the software development process. This paper identiies the key requirements of such integration, outlines three possible paradigms for integration of semantic veriication tools with document editors, and reports on their prototype implementation and evaluation with respect to these requirements.
متن کاملA Model Driven Architecture
There is considerable evidence that learning is enhanced within immersive environments which allow students to experiment with the concepts and techniques to be learned, computer simulations providing one such mechanism. Such techniques have been shown to have value when the material to be learnt is remote, distributed, dangerous or expensive to produce for the classroom. Teaching the concepts ...
متن کاملبازخوانی اسناد کتیبهای غیرمنقول در میراث جهانی مجموعه بازار تاریخی تبریز
Immovable inscriptions are considered as one of the most important works and among the historical documents in cultural assets of our dear country, which were installed on selected parts of historical buildings and outstanding monuments and were always noticeable. The role of inscriptions as the basic and effective tools is important in terms of manifesting and implication of educational and ed...
متن کاملMath/pad: A System for On-Line Preparation of Mathematical Documents
Matsad is a structure editor designed to facilitate the writing of documents of a mathematical nature. The principal element of Matsad is a system for deening and using \stencils" which deene the visual and logical structure of notational elements in a document. This paper overviews the main features of the editor from a user's viewpoint. Particular attention is given to a discussion of the pri...
متن کاملTool Speci cation with GTSL
The de nition of software development methods encompasses the de nition of syntax and static semantics of formal languages. These languages determine documents to be produced during the application of a method. Developers demand language-based tools that provide document production support, check syntax and static semantics of documents and thus implement methods. Method integration must determ...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید
ثبت ناماگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید
ورودعنوان ژورنال:
- Software - Concepts and Tools
دوره 15 شماره
صفحات -
تاریخ انتشار 1994